Intersection Theory Class 12 Ravi
نویسنده
چکیده
for α ∈ Ak−e+iX. Thus there are canonical isomorphisms θE : ⊕ e i=0Ak−e+iX ∼ → AkPE. θE : ⊕αi 7→ ∑e i=0c1(OPE(1)) pαi. Proof. Our plan was to prove this in the following order: π surjective, θE surjective, θE injective, π injective. The proof is a delicate interplay between E and PE. We had done all but the last step, and we had reduced the last step to the case where E is a trivial bundle, i.e. we wanted to show that A∗X ↪→ A∗(X×A ). By induction, we needed to deal with the case where E had rank 1.
منابع مشابه
Intersection Theory Class 16 Ravi Vakil
We’ve covered a lot of ground so far. I want to remind you that we’ve essentially defined a very few things, and spent all our energy on showing that they behave well with respect to each other. In particular: proper pushforward, flat pullback, c·, s·, s·(X, Y). Gysin pullback for divisors; intersecting with pseudo-divisors. Gysin pullback for 0sections of vector bundles. We know how to calcula...
متن کاملIntersection Theory Class 17
The cone of X in Y is in fact a vector bundle (as X ↪→ Y is a local complete intersection); call itNXY. The cone CWY toW in Y may be quite nasty; but we saw that CWY ↪→ g ∗NXY. Then we define X · V = s∗[CWV] where s : W → g∗NXY is the zero-section. (Recall that the Gysin pullback lets us map classes in a vector bundle to classes in the base, dropping the dimension by the rank. Algebraic black b...
متن کامل